Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
241	Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin Hofmann Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-04-30 03:48:11
242	Sparse Online Learning via Truncated Gradient: Appendix 1 Proof of Main Results In the setting of standard online learning, we are interested in sequential prediction problems where Add to Reading List Source URL: hunch.net Language: English - Date: 2009-01-11 09:13:57 Statistical theory Symbol Loss function
243	¨ ner, Hybrid Logic and its Proof-Theory, Applied Logic Series Torben Brau Volume 37, Springer, 2011, pp. XIII+231. ISBN: (hardcover) EURO 99,95, ISBN: (eBook) EURO 99,99. Modern hybr Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2012-10-02 15:25:02
244	Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-01-06 13:25:00 Type theory Functional languages Proof assistants Dependently typed programming Logic in computer science Coq Dependent type Functional programming Haskell Inductive type Quicksort CurryHoward correspondence
245	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
246	De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics
247	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
248	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
249	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
250	Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle

UPDATE